package play;

public interface Type {
    public String getName();

    public Scope getEnclosingScope();

    // 本类型是不是 is 目标类型。子类可以出现在任何需要父类的地方
    public boolean isType(Type type);
}
